TSTP Solution File: QUA002^1 by SRASS---0.1